Мо́щность, или кардина́льное число́, мно́жества (лат. cardinalis ← cardo «главное обстоятельство; основа; сердце») — характеристика множеств (в том числе бесконечных), обобщающая понятие количества (числа) элементов конечного множества.

В основе этого понятия лежат естественные представления о сравнении множеств:

1. любые два множества, между элементами которых может быть установлено взаимно-однозначное соответствие (биекция), содержат одинаковое количество элементов (имеют одинаковую мощность, равномощны);
2. обратно: равномощные множества должны допускать такое взаимно-однозначное соответствие;
3. часть множества не превосходит полного множества по мощности (то есть по количеству элементов).

До того, когда была построена теория мощности множеств, множества различались по признакам: пустое/непустое и конечное/бесконечное, также конечные множества различались по количеству элементов. Бесконечные же множества нельзя было сравнить.

Мощность множеств позволяет сравнивать бесконечные множества. Например, счётные множества являются самыми «маленькими» бесконечными множествами.

Мощность множества ${\displaystyle A}$ обозначается через ${\displaystyle |A|}$. Иногда встречаются обозначения ${\displaystyle {\overline {\overline {A}}}}$, ${\displaystyle \#A}$ и ${\displaystyle \mathrm {card} (A)}$.